A Class-Chest for Deriving Transport Protocols
نویسنده
چکیده
Development of new transport protocols or protocol algorithms suffers from the complexity of the environment in which they are intended to run. Modeling techniques attempt to avoid this by simulating the environment. Another approach to promoting rapid prototyping of protocols and protocol algorithms is to provide a pre-built infrastructure that is common to transport protocols, so that the focus is placed on the protocol-specific aspects. The MetaTransport Library is a library of C++ base classes that implement or abstract out the mundane functions of a protocol; new protocol implementations are derived from the base classes. The result is a fully viable user-level transport protocol implementation, with emphasis on modularity. The collection of base classes form a “class-chest” of tools from which protocols can be developed and studied with as little change to a normal Unix environment as possible.
منابع مشابه
Reducing radiation doses in female breast and lung during CT examinations of thorax: A new technique in two scanners
Background: Chest CT is a commonly used examination for the diagnosis of lung diseases, but a breast within the scanned field is nearly never the organ of interest.Objective: The purpose of this study is to compare the female breast and lung doses using split and standard protocols in chest CT scanning.Materials and Methods: The sliced chest and breast female phantoms were used. CT exams were p...
متن کاملA short introduction to two approaches in formal verification of security protocols: model checking and theorem proving
In this paper, we shortly review two formal approaches in verification of security protocols; model checking and theorem proving. Model checking is based on studying the behavior of protocols via generating all different behaviors of a protocol and checking whether the desired goals are satisfied in all instances or not. We investigate Scyther operational semantics as n example of this...
متن کاملEffect of Three Light Curing Protocols and Load Cycling on Microleakage of Class V Composite Restorations
Objective: Different methods have been suggested to overcome the polymerization shrinkage of composite restorations. Changing the light curing protocol to improve polymerization by using new light curing units is among these methods. The new devices are more efficient, portable and durable and produce less heat. This study aimed to assess the marginal microleakage of class V composite restora...
متن کاملبررسی میزان CTDIwوDLP در پروتکلهای معمول CT دربیمارستان شهید بهشتی کاشان درسال 1393 ومقایسه آن با میزان دز مرجع
The use of computed tomography (CT) as a diagnostic tool has been considerably increased. Therefore, the controlled and protection-based use of the CT scan is necessary to reduce the detrimental effects of radiation. This study was carried out to determine patient dose level in routine CT protocols and measure CTDIW and DLP in routine CT protocols among adult patients in Kashan Shahid Beheshti ...
متن کاملA New Adaptive Extended Kalman Filter for a Class of Nonlinear Systems
This paper proposes a new adaptive extended Kalman filter (AEKF) for a class of nonlinear systems perturbed by noise which is not necessarily additive. The proposed filter is adaptive against the uncertainty in the process and measurement noise covariances. This is accomplished by deriving two recursive updating rules for the noise covariances, these rules are easy to implement and reduce the n...
متن کامل